More from this Author

Computer Aided Verification

by Ahmed Bouajjani (Editor), Oded Maler (Editor)

Hybrid Systems

by Oded Maler (Editor), Amir Pnueli (Editor), Freek Wiedijk (Editor)

Hybrid Systems Biology

by Oded Maler (Editor), Ádám Halász (Editor), Thao Dang (Editor), Carla Piazza (Editor)